期刊
  出版年
  关键词
结果中检索 Open Search
Please wait a minute...
选择: 显示/隐藏图片
1. 低冗余计算的可达性查询保持图压缩策略
赵丹枫, 林俊辰, 宋巍, 王建, 黄冬梅
《计算机应用》唯一官方网站    2020, 40 (2): 510-517.   DOI: 10.11772/j.issn.1001-9081.2019091666
摘要422)   HTML0)    PDF (634KB)(275)    收藏

针对可达性查询保持图压缩(QPGC)算法存在冗余计算的问题,提出了一种高性能压缩策略。在求解顶点的祖先后代集阶段,针对普通图数据,提出一种基于拓扑排序的求解算法TSB,首先将图数据顶点拓扑排序,然后沿拓扑序列顺序(逆序)求解顶点的祖先(后代)集,避免了求解顺序不明确导致的冗余计算;针对最长路径较短的图数据,提出一种基于图聚合运算的求解算法AGGB,可在确定次数的聚合运算内完成顶点的祖先和后代集的求解。在求解可达性等价类阶段,提出一种分段统计剪枝算法PSP,先对祖先后代集分段统计,再比较统计值以实现粗匹配,剪除了部分不必要的精细匹配。实验结果表明,与QPGC算法相比:在祖先后代集求解阶段,TSB和AGGB在不同数据集上的性能平均提升94.22%和90.00%;在求解可达性等价类阶段,PSP算法在大部分数据集上性能提升超过70%;随着数据集的增大,TSB和AGGB配合PSP算法,性能提升了近28倍。理论分析和模拟实验表明,该策略与QPGC算法相比冗余计算更少、压缩速度更快。

图表 | 参考文献 | 相关文章 | 多维度评价
2. 基于程序依赖图的静态BPEL程序切片技术
王洪达 邢建春 宋巍 杨启亮
计算机应用    2012, 32 (08): 2338-2341.   DOI: 10.3724/SP.J.1087.2012.02338
摘要882)      PDF (590KB)(330)    收藏
传统程序切片技术在计算BPEL程序切片时会产生切片不完备问题,为此,提出一种基于程序依赖图的BPEL静态程序切片技术。该技术根据BPEL语言的特点,通过建立BPEL程序依赖图,计算BPEL程序切片。案例分析表明,该技术能够获得更加全面的程序切片,从而可以帮助软件工程人员更好地测试、调试和维护BPEL程序。
参考文献 | 相关文章 | 多维度评价